| 1 | Jie Zhang and Yiling Lou and Lingming Zhang and Dan Hao and Lu Zhang and Hong Mei
Isomorphic regression testing: executing uncovered branches without test augmentation
Proceedings of the 24th {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, {FSE} 2016, Seattle, WA, USA, November 13-18, 2016, 2016. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{zhang_FSE_16,
author = {Jie Zhang and Yiling Lou and Lingming Zhang and Dan Hao and Lu Zhang and Hong Mei},
title = {Isomorphic regression testing: executing uncovered branches without test augmentation},
booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, {FSE} 2016, Seattle, WA, USA, November 13-18, 2016},
year = {2016},
address = {},
month = {},
pages = {883--894}
} |
| 2 | Jie Zhang and Ziyi Wang and Lingming Zhang and Dan Hao and Lei Zang and Shiyang Cheng and Lu Zhang
Predictive mutation testing
Proceedings of the 25th International Symposium on Software Testing and Analysis, {ISSTA} 2016, Saarbr{\"{u}}cken, Germany, July 18-20, 2016, 2016. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{ZhangWZHZCZ16,
author = {Jie Zhang and Ziyi Wang and Lingming Zhang and Dan Hao and Lei Zang and Shiyang Cheng and Lu Zhang},
title = {Predictive mutation testing},
booktitle = {Proceedings of the 25th International Symposium on Software Testing and Analysis, {ISSTA} 2016, Saarbr{\"{u}}cken, Germany, July 18-20, 2016},
year = {2016},
address = {},
month = {},
pages = {342--353}
} |
| 3 | Dan Hao and Lu Zhang and Lei Zang and Yanbo Wang and Xingxia Wu and Tao Xie
To Be Optimal or Not in Test-Case Prioritization
{IEEE} Trans. Software Eng., 42(5), 2016. |
|
| | Abstract: Available soon... |
| | @ARTICLE{hao_TSE_16,
author = {Dan Hao and Lu Zhang and Lei Zang and Yanbo Wang and Xingxia Wu and Tao Xie},
title = {To Be Optimal or Not in Test-Case Prioritization},
journal = {{IEEE} Trans. Software Eng.},
year = {2016},
month = {},
volume = {42},
number = {5},
pages = {490--505}
} |
| 4 | Yafeng Lu and Yiling Lou and Shiyang Cheng and Lingming Zhang and Dan Hao and Yangfan Zhou and Lu Zhang
How does regression test prioritization perform in real-world software evolution?
Proceedings of the 38th International Conference on Software Engineering, {ICSE} 2016, Austin, TX, USA, May 14-22, 2016, 2016. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{lu_ICSE_16,
author = {Yafeng Lu and Yiling Lou and Shiyang Cheng and Lingming Zhang and Dan Hao and Yangfan Zhou and Lu Zhang},
title = {How does regression test prioritization perform in real-world software evolution?},
booktitle = {Proceedings of the 38th International Conference on Software Engineering, {ICSE} 2016, Austin, TX, USA, May 14-22, 2016},
year = {2016},
address = {},
month = {},
pages = {535--546}
} |
| 5 | Yiling Lou and Dan Hao and Lu Zhang
Mutation-based test-case prioritization in software evolution
26th {IEEE} International Symposium on Software Reliability Engineering, {ISSRE} 2015, Gaithersbury, MD, USA, November 2-5, 2015, 2015. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{LouH015,
author = {Yiling Lou and Dan Hao and Lu Zhang},
title = {Mutation-based test-case prioritization in software evolution},
booktitle = {26th {IEEE} International Symposium on Software Reliability Engineering, {ISSRE} 2015, Gaithersbury, MD, USA, November 2-5, 2015},
year = {2015},
address = {},
month = {},
pages = {46--57}
} |
| 6 | Jie Zhang and Muyao Zhu and Dan Hao and Lu Zhang
An Empirical Study on the Scalability of Selective Mutation Testing
25th {IEEE} International Symposium on Software Reliability Engineering, {ISSRE} 2014, Naples, Italy, November 3-6, 2014, 2014. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{ZhangZHZ14,
author = {Jie Zhang and Muyao Zhu and Dan Hao and Lu Zhang},
title = {An Empirical Study on the Scalability of Selective Mutation Testing},
booktitle = {25th {IEEE} International Symposium on Software Reliability Engineering, {ISSRE} 2014, Naples, Italy, November 3-6, 2014},
year = {2014},
address = {},
month = {},
pages = {277--287}
} |
| 7 | Lingming Zhang and Dan Hao and Lu Zhang and Gregg Rothermel and Hong Mei
Bridging the gap between the total and additional test-case prioritization strategies
35th International Conference on Software Engineering, {ICSE} '13, San Francisco, CA, USA, May 18-26, 2013, 2013. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{zhang_ICSE_13,
author = {Lingming Zhang and Dan Hao and Lu Zhang and Gregg Rothermel and Hong Mei},
title = {Bridging the gap between the total and additional test-case prioritization strategies},
booktitle = {35th International Conference on Software Engineering, {ICSE} '13, San Francisco, CA, USA, May 18-26, 2013},
year = {2013},
address = {},
month = {},
pages = {192--201}
} |
| 8 | Lingming Zhang and Lu Zhang and Sarfraz Khurshid
Injecting mechanical faults to localize developer faults for evolving software
Proceedings of the 2013 {ACM} {SIGPLAN} International Conference on Object Oriented Programming Systems Languages {\&} Applications, {OOPSLA} 2013, part of {SPLASH} 2013, Indianapolis, IN, USA, October 26-31, 2013, 2013. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{Zhang0K13,
author = {Lingming Zhang and Lu Zhang and Sarfraz Khurshid},
title = {Injecting mechanical faults to localize developer faults for evolving software},
booktitle = {Proceedings of the 2013 {ACM} {SIGPLAN} International Conference on Object Oriented Programming Systems Languages {\&} Applications, {OOPSLA} 2013, part of {SPLASH} 2013, Indianapolis, IN, USA, October 26-31, 2013},
year = {2013},
address = {},
month = {},
pages = {765--784}
} |
| 9 | Lingming Zhang and Darko Marinov and Lu Zhang and Sarfraz Khurshid
Regression mutation testing
International Symposium on Software Testing and Analysis, {ISSTA} 2012, Minneapolis, MN, USA, July 15-20, 2012, 2012. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{ZhangMZK12,
author = {Lingming Zhang and Darko Marinov and Lu Zhang and Sarfraz Khurshid},
title = {Regression mutation testing},
booktitle = {International Symposium on Software Testing and Analysis, {ISSTA} 2012, Minneapolis, MN, USA, July 15-20, 2012},
year = {2012},
address = {},
month = {},
pages = {331--341}
} |
| 10 | Dan Hao and Lu Zhang and Xingxia Wu and Hong Mei and Gregg Rothermel
On-demand test suite reduction
34th International Conference on Software Engineering, {ICSE} 2012, June 2-9, 2012, Zurich, Switzerland, 2012. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{HaoZWMR12,
author = {Dan Hao and Lu Zhang and Xingxia Wu and Hong Mei and Gregg Rothermel},
title = {On-demand test suite reduction},
booktitle = {34th International Conference on Software Engineering, {ICSE} 2012, June 2-9, 2012, Zurich, Switzerland},
year = {2012},
address = {},
month = {},
pages = {738--748}
} |
| 11 | Lu Zhang and Shan{-}Shan Hou and Jun{-}Jue Hu and Tao Xie and Hong Mei
Is operator-based mutant selection superior to random mutant selection?
Proceedings of the 32nd {ACM/IEEE} International Conference on Software Engineering - Volume 1, {ICSE} 2010, Cape Town, South Africa, 1-8 May 2010, 2010. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{ZhangHHXM10,
author = {Lu Zhang and Shan{-}Shan Hou and Jun{-}Jue Hu and Tao Xie and Hong Mei},
title = {Is operator-based mutant selection superior to random mutant selection?},
booktitle = {Proceedings of the 32nd {ACM/IEEE} International Conference on Software Engineering - Volume 1, {ICSE} 2010, Cape Town, South Africa, 1-8 May 2010},
year = {2010},
address = {},
month = {},
pages = {435--444}
} |
| 12 | Lingming Zhang and Tao Xie and Lu Zhang and Nikolai Tillmann and Jonathan de Halleux and Hong Mei
Test generation via Dynamic Symbolic Execution for mutation testing
26th {IEEE} International Conference on Software Maintenance {(ICSM} 2010), September 12-18, 2010, Timisoara, Romania, 2010. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{ZhangXZTHM10,
author = {Lingming Zhang and Tao Xie and Lu Zhang and Nikolai Tillmann and Jonathan de Halleux and Hong Mei},
title = {Test generation via Dynamic Symbolic Execution for mutation testing},
booktitle = {26th {IEEE} International Conference on Software Maintenance {(ICSM} 2010), September 12-18, 2010, Timisoara, Romania},
year = {2010},
address = {},
month = {},
pages = {1--10}
} |
| 13 | Ying Jiang and Ying-Na Li and Shan-Shan Hou and Lu Zhang
Test-Data Generation for Web Services Based on Contract Mutation
Proceedings of the 3rd IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI'09)Shanghai China, 8-10 July 2009. |
|
| | Abstract: Software testing is one of the most important techniques used to assure the quality of Web services at present. Test-data generation is an important topic in Web services testing. The quality of test data will influence the efficiency and cost when testing Web services. Based on the contract-based mutation testing technique, this paper presents a method of automated test-data generation for Web services. First, according to the description information and contracts in WSDL documents of Web services, initial test data are generated automatically by the random method. Then the test data are selected using contract mutation testing. This method can generate a test suite meeting a certain contract mutation score, which indicates the quality and efficiency of testing. Finally, we have developed a prototype on the Microsoft .NET platform, and carried out some experiments. The results have shown that the proposed method is effective in automated test-data generation for Web services. |
| | @INPROCEEDINGS{JiangLHZ09,
author = {Ying Jiang and Ying-Na Li and Shan-Shan Hou and Lu Zhang},
title = {Test-Data Generation for Web Services Based on Contract Mutation},
booktitle = {Proceedings of the 3rd IEEE International Conference on Secure Software Integration and Reliability Improvement (SSIRI'09)},
year = {2009},
address = {Shanghai China},
month = {8-10 July},
pages = {281-286}
} |
| 14 | Shan-Shan Hou and Lu Zhang and Tao Xie and Hong Mei and Jia-Su Sun
Applying Interface-Contract Mutation in Regression Testing of Component-Based Software
Proceedings of the 23rd International Conference on Software Maintenance (ICSM'07)Paris, France, 2-5 October 2007. |
|
| | Abstract: Regression testing, which plays an important role in software maintenance, usually relies on test adequacy criteria to select and prioritize test cases. However, with the wide use and reuse of black-box components, such as reusable class libraries and COTS components, it is challenging to establish test adequacy criteria for testing software systems built on components whose source code is not available. Without source code or detailed documents, the misunderstanding between the system integrators and component providers has become a main factor of causing faults in component-based software. In this paper, we apply mutation on interface contracts, which can describe the rights and obligations between component users and providers, to simulate the faults that may occur in this way of software development. The mutation adequacy score for killing the mutants of interface contracts can serve as a test adequacy criterion. We performed an experimental study on three subject systems to evaluate the proposed approach together with four other existing criteria. The experimental results show that our adequacy criterion is helpful for both selecting good-quality test cases and scheduling test cases in an order of exposing faults quickly in regression testing of component-based software. |
| | @INPROCEEDINGS{HouZXMS07,
author = {Shan-Shan Hou and Lu Zhang and Tao Xie and Hong Mei and Jia-Su Sun},
title = {Applying Interface-Contract Mutation in Regression Testing of Component-Based Software},
booktitle = {Proceedings of the 23rd International Conference on Software Maintenance (ICSM'07)},
year = {2007},
address = {Paris, France},
month = {2-5 October},
pages = {174-183}
} |
| 15 | Ming-Hao Liu and You-Feng Gao and Jin-Hui Shan and Jiang-Hong Liu and Lu Zhang and Jia-Su Sun
An Approach to Test Data Generation for Killing Multiple Mutants
Proceedings of the 22nd IEEE International Conference on Software Maintenance (ICSM'06)Philadelphia, Pennsylvania, USA, 24-27 September 2006. |
|
| | Abstract: Software testing is an important technique for assurance of software quality. Mutation testing has been identified as a powerful fault-based technique for unit testing, and there has been some research on automatic generation of test data for mutation testing. However, existing approaches to this kind of test data generation usually generate test data according to one mutant at one time. Thus, more test data that are needed for achieving a given mutation score. In this paper, we propose a new approach to generating one test data according to multiple mutants that are mutated at the same location at one time. Thus, our approach can generate smaller test suite that can achieve the same mutation testing score. To evaluate our approach, we implemented a prototype tool based on our approach and carried out some preliminary experiments. The experimental results show that our approach is more cost-effective. |
| | @INPROCEEDINGS{LiuGSLZS06,
author = {Ming-Hao Liu and You-Feng Gao and Jin-Hui Shan and Jiang-Hong Liu and Lu Zhang and Jia-Su Sun},
title = {An Approach to Test Data Generation for Killing Multiple Mutants},
booktitle = {Proceedings of the 22nd IEEE International Conference on Software Maintenance (ICSM'06)},
year = {2006},
address = {Philadelphia, Pennsylvania, USA},
month = {24-27 September},
pages = {113-122}
} |
| 16 | Ying Jiang and Shan-Shan Hou and Jin-Hui Shan and Lu Zhang and Bing Xie
Contract-Based Mutation for Testing Components
Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM'05)Budapest, Hungary, 25-30 September 2005. |
|
| | Abstract: Available soon... |
| | @INPROCEEDINGS{JiangHSZX05,
author = {Ying Jiang and Shan-Shan Hou and Jin-Hui Shan and Lu Zhang and Bing Xie},
title = {Contract-Based Mutation for Testing Components},
booktitle = {Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM'05)},
year = {2005},
address = {Budapest, Hungary},
month = {25-30 September},
pages = {483-492}
} |
